با اصل برائت ، تكليف را نفى كرد ) . براى آنكه جواب مصنّف ، واضح‌تر شود ، لازم است به اقسام علم اجمالى اشاره شود . اقسام علم اجمالى علم اجمالى بر سه قسم است كه عبارتند از : 1 - علم اجمالى كبير : يعنى علم اجمالى به تكاليف بين تمام امارات ( اعم از روايات معتبره و غير معتبره ، و اعمّ از روايات و غير روايات ، مانند : شهرت ، اجماعات منقوله و اولويّات ظنّيه ) وجود دارد . 2 - علم اجمالى متوسّط : يعنى علم اجمالى به تكاليف بين روايات معتبره و غير روايات ( يعنى ساير طرق و امارات ) وجود دارد . 3 - علم اجمالى صغير : يعنى علم اجمالى به تكاليف ، در محدودهء خصوص روايات وجود دارد . مصنّف در جواب از اشكال شيخ مىفرمايد : علم اجمالى كبير ( كه دائره‌اش بسيار وسيع است ) به واسطه علم اجمالى متوسط ، انحلال پيدا مىكند و علم اجمالى متوسط نيز به واسطه علم اجمالى صغير ، منحلّ مىشود . بنابراين اگر وجه اوّل از وجوه عقليّه ، درست باشد ، لازمه‌اش احتياط و عمل به خصوص اماراتى است كه از روايات باشند ، و لذا از صحّت اين وجه ، عمل به تمام طرق و امارات ( اعم از روايات و غير روايات ) لازم نمىآيد ، زيرا بعد از انحلال علم اجمالى كبير و متوسّط ، فقط علم اجمالى صغير كه در محدودهء روايات است ، باقى مىماند . « 1 »

--> ( 1 ) . مثلا اگر در ميان هزار گوسفند ، علم اجمالى پيدا كنيم كه ده‌تاى از آنها غصبى است ، اين علم اجمالى كبير است . حال اگر تعداد گوسفندان سفيد ، پانصد تا و تعداد گوسفندان سياه نيز پانصد تا باشد ، و علم اجمالى پيدا كنيم كه ده گوسفند غصبى در ميان گوسفندان سياه است ، اين علم اجمالى متوسّط خواهد بود . سپس اگر از ميان پانصد گوسفند سياه ، نيمى از آنها ميش و نيمى ديگر غير ميش باشند ، و علم اجمالى پيدا كنيم كه گوسفندان غصبى در ميان ميش‌هاست ، اين علم اجمالى صغير مىشود . اكنون بعد از انحلال علم اجمالى كبير و متوسط ، علم اجمالى صغير باقى مىماند و لذا اجتناب از اين مقدار ( 250 گوسفند ) لازم است .